us navy pilots shot down red sea